// diff 编辑器提供了一个导航器，可以在更改之间跳转。一旦计算了差异，就可以使用 <em>next()</em> 和 <em>previous()</em> 方法进行导航。默认情况下，编辑器中的选择将手动重置导航状态。
var originalModel = monaco.editor.createModel("just some text\n\nHello World\n\nSome more text", "text/plain");
var modifiedModel = monaco.editor.createModel("just some Text\n\nHello World\n\nSome more changes", "text/plain");


var diffEditor = monaco.editor.createDiffEditor(document.getElementById("container"));
diffEditor.setModel({
	original: originalModel,
	modified: modifiedModel
});

var navi = monaco.editor.createDiffNavigator(diffEditor, {
	followsCaret: true, // 当用户在编辑器中选择内容时，重置导航器状态
	ignoreCharChanges: true // 从一行跳到另一行
});

window.setInterval(function() {
	navi.next();
}, 2000);
